Logical Consequence and Logical Expressions
نویسنده
چکیده
The pretheoretical notions of logical consequence and of a logical expression are linked in vague and complex ways to modal and pragmatic intuitions. I offer an introduction to the difficulties that these intuitions create when one attempts to give precise characterizations of those notions. Special attention is given to Tarski’s theories of logical consequence and logical constancy. I note that the Tarskian theory of logical consequence has fared better in the face of the difficulties than the Tarskian theory of logical constancy. Other theories of these notions are explained and criticized.
منابع مشابه
Free will as a logical consequence of Ibn Arabi`s mystical principles
This article has no abstract.
متن کاملLogical Consequence: From Logical Terms to Semantic Constraints
In the paper I propose a new framework for extensional logic, where the explication of the notion of logical consequence is the primary aim. The framework may also be applicable in the study of natural language, especially in illuminating various semantic relations between expressions. In the paper I discuss a prevailing view by which logical terms determine the forms of sentences and therefore...
متن کاملA Theory and Calculus for Reasoning about Sequential Behavior
Basic results in combinatorial mathematics provide the foundation for a theory and calculus for reasoning about sequential behavior. A key concept of the theory is a generalization of Boolean implicant in which one now deals with statements of the form: A sequence of Boolean expressions α is an implicant of a set of sequences of Boolean expressions A This notion of a generalized implicant takes...
متن کاملConsequence in Context: Two-Dimensional Semantics meets Logical Consequence
Two-dimensional semantics is a formal framework used to characterize the meaning of sentences and sub-sentential expressions and distinguished by the view according to which the extension of an expression depends on two dimensions. Contextual philosophical interpretations of that framework intend to capture how the extension of an expression depends on context. These interpretations have been a...
متن کاملLogical Consequence Inside Out
Tarski’s definition of logical consequence for an interpreted language rests on the distinction between extra-logical symbols, whose interpretation is allowed to vary across models, and logical symbols, aka logical constants, whose interpretation remains fixed. In this perspective, logicality come first, and consequence is a byproduct of the division between logical and extra-logical symbols. O...
متن کامل